Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
521	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 4 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:03:08 Lisp programming language Functional programming Data types Functional languages Lambda calculus Lisp Cons Append S-expression Software engineering Computing Computer programming
522	Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2013-04-09 22:34:32 Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic
523	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
524	Bottom-up β-reduction: uplinks and λ-DAGs (journal version) June 29, 2010 Olin Shivers Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-08 22:05:21 Mathematics Lambda calculus Directed acyclic graph B-tree Tree traversal Tree Free variables and bound variables T-tree Linked list Graph theory Binary trees Computing
525	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Data types Procedural programming languages C++ Type safety Lambda calculus Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory
526	Witnessing Side Effects TACHIO TERAUCHI Tohoku University and ALEX AIKEN Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-06-02 04:10:18 Lambda calculus Confluence Computer science Functional analysis Theoretical computer science Applied mathematics Computability theory
527	Some ideas on a proof technique language Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 IsaPlanner Combinatory logic Reason Logic Mind Cognition Automated theorem proving Reasoning Lambda calculus
528	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Mathematics Currying Partial application Apply Arity Variadic function Combinatory logic Scheme Declarative programming Software engineering Functional programming
529	Linguistics 218: Math Ling II Montague Grammar and Dynamic Semantics Jessica Rett, deets: MW 12-2, Bunche 1265 course description: Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2015-03-01 16:55:18 Grammar Science Predicate logic Quantification Discourse representation theory Lambda calculus Montague grammar Intensional logic First-order logic Semantics Logic Linguistics
530	A Methodology for Generating Verified Combinatorial Circuits ∗ Oleg Kiselyov Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-08-11 22:06:49 Lambda calculus Programming language implementation Digital signal processing Functional languages Computer performance Monad Fast Fourier transform FFTW Fixed-point combinator Computing Computer programming Software engineering

UPDATE